[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 247 314 0 7993 0 0 -1

N.S.

1 1.00 1.61 2.05 0.00 52.24 0.00 0.00 -0.01

time (sec)

N/A 0.148 3.149 1.999 0.000 0.498 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 57 102 92 327 0 108 433

N.S.

1 1.00 1.19 2.12 1.92 6.81 0.00 2.25 9.02

time (sec)

N/A 0.043 0.025 1.917 0.289 0.382 0.000 0.418 1.545

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 45 57 78 1072 80 119 173

N.S.

1 1.00 0.92 1.16 1.59 21.88 1.63 2.43 3.53

time (sec)

N/A 0.040 0.020 1.068 0.568 0.370 0.352 0.429 0.125

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 41 66 42 155 0 72 163

N.S.

1 1.00 1.28 2.06 1.31 4.84 0.00 2.25 5.09

time (sec)

N/A 0.041 0.014 1.602 0.290 0.404 0.000 0.404 1.503

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 29 27 27 359 42 83 72

N.S.

1 1.00 1.00 0.93 0.93 12.38 1.45 2.86 2.48

time (sec)

N/A 0.020 0.019 0.634 0.281 0.381 0.153 0.398 1.470

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 24 23 36 0 23 23

N.S.

1 1.00 1.00 1.60 1.53 2.40 0.00 1.53 1.53

time (sec)

N/A 0.010 0.004 1.412 0.268 0.361 0.000 0.404 1.395

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 44 24 65 69 0 55 167

N.S.

1 1.00 1.57 0.86 2.32 2.46 0.00 1.96 5.96

time (sec)

N/A 0.039 0.031 1.465 0.493 0.385 0.000 0.395 0.172

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 41 43 47 39 0 30 25

N.S.

1 1.00 2.28 2.39 2.61 2.17 0.00 1.67 1.39

time (sec)

N/A 0.042 0.026 1.757 0.285 0.367 0.000 0.411 0.111

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 52 37 108 378 0 84 76

N.S.

1 1.00 1.68 1.19 3.48 12.19 0.00 2.71 2.45

time (sec)

N/A 0.042 0.124 2.366 0.273 0.373 0.000 0.423 1.414

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 49 64 170 140 0 70 161

N.S.

1 1.00 1.44 1.88 5.00 4.12 0.00 2.06 4.74

time (sec)

N/A 0.046 0.019 2.116 0.271 0.381 0.000 0.427 1.492

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 62 67 251 1099 0 120 179

N.S.

1 1.00 1.22 1.31 4.92 21.55 0.00 2.35 3.51

time (sec)

N/A 0.058 0.183 1.768 0.258 0.399 0.000 0.450 0.110

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 395 272 649 721 0 278 1022

N.S.

1 1.00 5.13 3.53 8.43 9.36 0.00 3.61 13.27

time (sec)

N/A 0.073 0.788 2.441 0.280 0.397 0.000 0.446 0.183

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 107 94 333 2591 129 244 349

N.S.

1 1.00 1.39 1.22 4.32 33.65 1.68 3.17 4.53

time (sec)

N/A 0.067 0.202 1.416 0.468 0.376 0.865 0.451 1.522

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 281 190 325 435 0 196 513

N.S.

1 1.00 4.76 3.22 5.51 7.37 0.00 3.32 8.69

time (sec)

N/A 0.070 0.590 2.230 0.277 0.350 0.000 0.426 0.142

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 81 42 55 1180 63 162 182

N.S.

1 1.00 1.69 0.88 1.15 24.58 1.31 3.38 3.79

time (sec)

N/A 0.035 0.094 0.668 0.268 0.365 0.416 0.413 1.689

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 106 67 120 176 0 79 163

N.S.

1 1.00 2.65 1.68 3.00 4.40 0.00 1.98 4.08

time (sec)

N/A 0.023 0.262 1.528 0.260 0.382 0.000 0.402 1.458

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 84 50 161 665 0 150 308

N.S.

1 1.00 1.58 0.94 3.04 12.55 0.00 2.83 5.81

time (sec)

N/A 0.057 0.172 1.585 0.471 0.411 0.000 0.417 0.296

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 82 77 71 106 0 68 60

N.S.

1 1.00 2.28 2.14 1.97 2.94 0.00 1.89 1.67

time (sec)

N/A 0.062 0.521 2.379 0.281 0.464 0.000 0.410 1.422

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 82 64 206 637 0 148 240

N.S.

1 1.00 1.49 1.16 3.75 11.58 0.00 2.69 4.36

time (sec)

N/A 0.065 0.142 1.707 0.484 0.432 0.000 0.452 0.220

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 160 94 268 201 0 100 183

N.S.

1 1.00 3.48 2.04 5.83 4.37 0.00 2.17 3.98

time (sec)

N/A 0.064 0.560 2.160 0.272 0.391 0.000 0.452 1.424

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 77 84 282 1252 0 150 207

N.S.

1 1.00 1.48 1.62 5.42 24.08 0.00 2.88 3.98

time (sec)

N/A 0.067 0.163 1.776 0.267 0.696 0.000 0.458 1.466

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 256 164 613 425 0 170 511

N.S.

1 1.00 4.00 2.56 9.58 6.64 0.00 2.66 7.98

time (sec)

N/A 0.067 0.752 2.566 0.284 0.695 0.000 0.449 1.439

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 107 132 696 2548 0 219 377

N.S.

1 1.00 1.24 1.53 8.09 29.63 0.00 2.55 4.38

time (sec)

N/A 0.095 0.359 1.813 0.276 0.477 0.000 0.492 1.530

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 301 469 1453 1323 0 475 1834

N.S.

1 1.00 2.74 4.26 13.21 12.03 0.00 4.32 16.67

time (sec)

N/A 0.088 3.840 2.724 0.276 0.382 0.000 0.453 1.623

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 128 131 652 4658 178 387 573

N.S.

1 1.00 1.24 1.27 6.33 45.22 1.73 3.76 5.56

time (sec)

N/A 0.069 0.506 1.723 0.478 0.427 1.722 0.477 1.638

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 479 353 788 881 0 359 1133

N.S.

1 1.00 5.21 3.84 8.57 9.58 0.00 3.90 12.32

time (sec)

N/A 0.083 1.208 2.395 0.284 0.377 0.000 0.432 0.213

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 100 59 85 2519 87 271 347

N.S.

1 1.00 1.41 0.83 1.20 35.48 1.23 3.82 4.89

time (sec)

N/A 0.042 0.204 0.953 0.258 0.374 0.868 0.433 0.215

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 268 164 332 470 0 182 502

N.S.

1 1.00 3.67 2.25 4.55 6.44 0.00 2.49 6.88

time (sec)

N/A 0.036 0.624 1.697 0.277 0.408 0.000 0.407 1.442

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 114 86 300 2376 0 283 360

N.S.

1 1.00 1.36 1.02 3.57 28.29 0.00 3.37 4.29

time (sec)

N/A 0.080 0.443 1.833 0.494 0.382 0.000 0.425 1.638

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 126 192 172 359 0 135 234

N.S.

1 1.00 2.07 3.15 2.82 5.89 0.00 2.21 3.84

time (sec)

N/A 0.072 1.213 2.670 0.270 0.488 0.000 0.433 0.142

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 110 110 314 1701 0 247 324

N.S.

1 1.00 1.36 1.36 3.88 21.00 0.00 3.05 4.00

time (sec)

N/A 0.087 0.855 2.143 0.489 0.441 0.000 0.461 1.723

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 343 178 366 354 0 158 260

N.S.

1 1.00 5.72 2.97 6.10 5.90 0.00 2.63 4.33

time (sec)

N/A 0.073 1.146 2.651 0.277 0.359 0.000 0.462 1.479

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 101 119 422 1830 0 227 384

N.S.

1 1.00 1.25 1.47 5.21 22.59 0.00 2.80 4.74

time (sec)

N/A 0.087 0.613 1.979 0.493 0.474 0.000 0.515 1.636

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 303 207 826 521 0 213 547

N.S.

1 1.00 4.39 3.00 11.97 7.55 0.00 3.09 7.93

time (sec)

N/A 0.076 0.717 2.826 0.277 0.375 0.000 0.482 1.603

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 98 149 727 2632 0 242 411

N.S.

1 1.00 1.27 1.94 9.44 34.18 0.00 3.14 5.34

time (sec)

N/A 0.087 0.529 2.127 0.274 0.478 0.000 0.550 1.614

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 455 310 703 941 0 334 1083

N.S.

1 1.00 4.10 2.79 6.33 8.48 0.00 3.01 9.76

time (sec)

N/A 0.053 1.107 1.859 0.291 0.386 0.000 0.418 0.196

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 724 507 1277 1652 0 537 1952

N.S.

1 1.00 4.44 3.11 7.83 10.13 0.00 3.29 11.98

time (sec)

N/A 0.073 6.381 1.958 0.287 0.400 0.000 0.437 0.317

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 98 183 131 736 0 0 421

N.S.

1 1.00 1.40 2.61 1.87 10.51 0.00 0.00 6.01

time (sec)

N/A 0.083 0.216 1.907 0.478 0.437 0.000 0.000 1.812

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 196 184 637 683 0 94 183

N.S.

1 1.00 3.32 3.12 10.80 11.58 0.00 1.59 3.10

time (sec)

N/A 0.121 0.792 2.342 0.566 0.394 0.000 1.064 1.873

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 41 132 77 112 0 0 238

N.S.

1 1.00 0.91 2.93 1.71 2.49 0.00 0.00 5.29

time (sec)

N/A 0.061 0.083 2.153 0.473 0.435 0.000 0.000 1.650

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 174 144 291 419 0 66 105

N.S.

1 1.00 3.78 3.13 6.33 9.11 0.00 1.43 2.28

time (sec)

N/A 0.094 0.244 2.447 0.499 0.439 0.000 1.159 0.426

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 26 36 51 76 114 0 51

N.S.

1 1.00 1.13 1.57 2.22 3.30 4.96 0.00 2.22

time (sec)

N/A 0.024 0.133 1.054 0.269 0.383 2.616 0.000 0.345

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 172 142 83 436 0 64 470

N.S.

1 1.00 3.74 3.09 1.80 9.48 0.00 1.39 10.22

time (sec)

N/A 0.035 0.169 2.268 0.491 0.411 0.000 0.465 2.161

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 42 125 100 115 0 0 228

N.S.

1 1.00 0.91 2.72 2.17 2.50 0.00 0.00 4.96

time (sec)

N/A 0.061 0.082 2.199 0.277 0.416 0.000 0.000 1.817

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 193 183 429 749 0 92 977

N.S.

1 1.00 3.11 2.95 6.92 12.08 0.00 1.48 15.76

time (sec)

N/A 0.125 0.804 2.562 0.495 0.419 0.000 1.032 3.389

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 100 171 187 862 0 0 523

N.S.

1 1.00 1.37 2.34 2.56 11.81 0.00 0.00 7.16

time (sec)

N/A 0.086 0.171 3.033 0.282 0.478 0.000 0.000 2.069

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

87 87 380 252 1435 2705 0 164 779

N.S.

1 1.00 4.37 2.90 16.49 31.09 0.00 1.89 8.95

time (sec)

N/A 0.197 2.222 3.098 0.590 0.447 0.000 1.604 4.146

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 109 209 154 853 0 0 -1

N.S.

1 1.00 1.43 2.75 2.03 11.22 0.00 0.00 -0.01

time (sec)

N/A 0.082 0.314 2.360 0.478 0.462 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 228 259 1053 1479 0 173 -1

N.S.

1 1.00 2.51 2.85 11.57 16.25 0.00 1.90 -0.01

time (sec)

N/A 0.138 1.462 2.785 0.657 0.465 0.000 1.811 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 81 178 108 485 0 0 -1

N.S.

1 1.00 1.59 3.49 2.12 9.51 0.00 0.00 -0.02

time (sec)

N/A 0.062 0.522 2.319 0.287 0.394 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

85 85 326 236 597 1846 0 137 -1

N.S.

1 1.00 3.84 2.78 7.02 21.72 0.00 1.61 -0.01

time (sec)

N/A 0.120 3.066 2.300 0.536 0.554 0.000 1.213 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 79 62 106 476 0 0 53

N.S.

1 1.00 1.61 1.27 2.16 9.71 0.00 0.00 1.08

time (sec)

N/A 0.043 0.413 0.952 0.272 0.436 0.000 0.000 1.730

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

93 93 221 254 187 1690 0 163 -1

N.S.

1 1.00 2.38 2.73 2.01 18.17 0.00 1.75 -0.01

time (sec)

N/A 0.068 1.406 2.425 0.496 0.504 0.000 0.506 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 115 206 209 1031 0 0 -1

N.S.

1 1.00 1.39 2.48 2.52 12.42 0.00 0.00 -0.01

time (sec)

N/A 0.091 0.207 2.681 0.284 0.475 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

121 121 268 288 1070 3624 0 273 -1

N.S.

1 1.00 2.21 2.38 8.84 29.95 0.00 2.26 -0.01

time (sec)

N/A 0.202 1.907 2.707 0.550 0.454 0.000 1.194 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 130 260 384 3624 0 0 -1

N.S.

1 1.00 1.18 2.36 3.49 32.95 0.00 0.00 -0.01

time (sec)

N/A 0.121 0.877 3.270 0.302 0.588 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F A F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

161 161 350 365 2961 9849 0 293 -1

N.S.

1 1.00 2.17 2.27 18.39 61.17 0.00 1.82 -0.01

time (sec)

N/A 0.288 3.367 3.152 0.770 0.486 0.000 1.879 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

148 148 515 389 3239 5463 0 354 -1

N.S.

1 1.00 3.48 2.63 21.89 36.91 0.00 2.39 -0.01

time (sec)

N/A 0.221 3.824 3.076 1.131 0.512 0.000 3.259 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 136 226 206 1741 0 0 -1

N.S.

1 1.00 1.77 2.94 2.68 22.61 0.00 0.00 -0.01

time (sec)

N/A 0.084 1.412 2.520 0.278 0.423 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

139 139 1317 343 2201 6464 0 281 -1

N.S.

1 1.00 9.47 2.47 15.83 46.50 0.00 2.02 -0.01

time (sec)

N/A 0.195 9.751 2.707 0.822 0.458 0.000 2.301 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 131 236 209 1753 0 0 -1

N.S.

1 1.00 1.62 2.91 2.58 21.64 0.00 0.00 -0.01

time (sec)

N/A 0.085 1.008 2.444 0.292 0.408 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

139 139 1317 335 1255 7158 0 296 -1

N.S.

1 1.00 9.47 2.41 9.03 51.50 0.00 2.13 -0.01

time (sec)

N/A 0.175 9.549 2.609 0.622 0.455 0.000 1.845 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 129 84 193 1666 0 0 94

N.S.

1 1.00 1.77 1.15 2.64 22.82 0.00 0.00 1.29

time (sec)

N/A 0.058 1.329 1.118 0.279 0.403 0.000 0.000 1.604

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

146 146 301 355 402 6538 0 327 -1

N.S.

1 1.00 2.06 2.43 2.75 44.78 0.00 2.24 -0.01

time (sec)

N/A 0.141 4.077 2.525 0.526 0.476 0.000 0.668 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 155 292 419 4132 0 0 -1

N.S.

1 1.00 1.19 2.25 3.22 31.78 0.00 0.00 -0.01

time (sec)

N/A 0.132 0.685 2.884 0.301 0.631 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

182 182 1769 394 1971 11606 0 389 -1

N.S.

1 1.00 9.72 2.16 10.83 63.77 0.00 2.14 -0.01

time (sec)

N/A 0.281 6.075 3.105 0.684 0.518 0.000 1.758 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 172 354 692 10255 0 0 -1

N.S.

1 1.00 1.13 2.33 4.55 67.47 0.00 0.00 -0.01

time (sec)

N/A 0.170 1.237 3.374 0.314 0.916 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

232 232 3334 468 4920 24263 0 469 -1

N.S.

1 1.00 14.37 2.02 21.21 104.58 0.00 2.02 -0.00

time (sec)

N/A 0.355 7.163 3.474 1.114 0.638 0.000 2.506 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F(-1) B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

207 207 1405 545 718 17283 0 594 -1

N.S.

1 1.00 6.79 2.63 3.47 83.49 0.00 2.87 -0.00

time (sec)

N/A 0.243 6.594 2.604 0.556 0.580 0.000 0.534 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 25 120 33 183 0 72 -1

N.S.

1 1.00 0.86 4.14 1.14 6.31 0.00 2.48 -0.03

time (sec)

N/A 0.021 0.018 1.493 0.485 0.385 0.000 0.391 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 79 13 18 0 26 -1

N.S.

1 1.00 1.00 5.64 0.93 1.29 0.00 1.86 -0.07

time (sec)

N/A 0.015 0.005 1.500 0.479 0.364 0.000 0.389 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 79 22 18 0 31 -1

N.S.

1 1.00 1.00 5.64 1.57 1.29 0.00 2.21 -0.07

time (sec)

N/A 0.017 0.008 1.115 0.496 0.409 0.000 0.391 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C F F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 27 123 33 0 0 83 -1

N.S.

1 1.00 0.79 3.62 0.97 0.00 0.00 2.44 -0.03

time (sec)

N/A 0.019 0.010 1.437 0.488 0.000 0.000 0.393 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C F F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 16 81 13 0 0 31 -1

N.S.

1 1.00 1.00 5.06 0.81 0.00 0.00 1.94 -0.06

time (sec)

N/A 0.014 0.005 1.443 0.479 0.000 0.000 0.393 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C F F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 16 81 22 0 0 37 -1

N.S.

1 1.00 1.00 5.06 1.38 0.00 0.00 2.31 -0.06

time (sec)

N/A 0.015 0.008 1.346 0.500 0.000 0.000 0.391 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 114 0 0 4594 0 0 -1

N.S.

1 1.00 1.37 0.00 0.00 55.35 0.00 0.00 -0.01

time (sec)

N/A 0.101 0.486 1.937 0.000 0.647 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 192 0 0 8852 0 0 -1

N.S.

1 1.00 1.54 0.00 0.00 70.82 0.00 0.00 -0.01

time (sec)

N/A 0.212 0.307 1.658 0.000 0.682 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 90 0 0 2394 0 0 -1

N.S.

1 1.00 1.53 0.00 0.00 40.58 0.00 0.00 -0.02

time (sec)

N/A 0.071 0.248 1.208 0.000 0.464 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 150 0 0 4316 0 0 -1

N.S.

1 1.00 1.72 0.00 0.00 49.61 0.00 0.00 -0.01

time (sec)

N/A 0.140 0.195 0.983 0.000 0.504 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 90 43 0 1608 0 0 32

N.S.

1 1.00 2.25 1.08 0.00 40.20 0.00 0.00 0.80

time (sec)

N/A 0.043 0.182 0.296 0.000 0.489 0.000 0.000 1.710

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 134 0 0 2949 0 0 -1

N.S.

1 1.00 2.27 0.00 0.00 49.98 0.00 0.00 -0.02

time (sec)

N/A 0.030 0.495 1.239 0.000 0.435 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 111 0 0 3597 0 0 -1

N.S.

1 1.00 1.98 0.00 0.00 64.23 0.00 0.00 -0.02

time (sec)

N/A 0.073 0.075 1.528 0.000 0.464 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 75 0 0 1303 0 0 -1

N.S.

1 1.00 1.56 0.00 0.00 27.15 0.00 0.00 -0.02

time (sec)

N/A 0.120 0.364 1.553 0.000 0.502 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 156 0 0 5247 0 0 -1

N.S.

1 1.00 1.88 0.00 0.00 63.22 0.00 0.00 -0.01

time (sec)

N/A 0.099 0.346 1.725 0.000 0.523 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 149 0 0 2341 0 0 -1

N.S.

1 1.00 1.77 0.00 0.00 27.87 0.00 0.00 -0.01

time (sec)

N/A 0.166 0.401 1.704 0.000 0.491 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 191 0 0 12548 0 0 -1

N.S.

1 1.00 1.53 0.00 0.00 100.38 0.00 0.00 -0.01

time (sec)

N/A 0.154 0.615 1.691 0.000 0.686 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 129 0 0 4226 0 0 -1

N.S.

1 1.00 1.70 0.00 0.00 55.61 0.00 0.00 -0.01

time (sec)

N/A 0.092 0.586 1.110 0.000 0.629 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 197 0 0 8582 0 0 -1

N.S.

1 1.00 1.58 0.00 0.00 68.66 0.00 0.00 -0.01

time (sec)

N/A 0.236 0.557 0.915 0.000 0.689 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 65 58 0 2312 0 0 45

N.S.

1 1.00 1.14 1.02 0.00 40.56 0.00 0.00 0.79

time (sec)

N/A 0.057 0.076 0.215 0.000 0.575 0.000 0.000 3.359

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 152 0 0 4140 0 0 -1

N.S.

1 1.00 1.73 0.00 0.00 47.05 0.00 0.00 -0.01

time (sec)

N/A 0.060 0.179 1.216 0.000 0.520 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 159 0 0 4123 0 134 -1

N.S.

1 1.00 2.27 0.00 0.00 58.90 0.00 1.91 -0.01

time (sec)

N/A 0.089 0.333 1.556 0.000 0.605 0.000 0.598 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 144 0 0 3349 0 222 -1

N.S.

1 1.00 1.78 0.00 0.00 41.35 0.00 2.74 -0.01

time (sec)

N/A 0.151 0.223 1.497 0.000 0.490 0.000 0.558 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 280 0 0 12452 0 0 -1

N.S.

1 1.00 1.65 0.00 0.00 73.25 0.00 0.00 -0.01

time (sec)

N/A 0.135 8.223 2.826 0.000 0.895 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 109 0 0 2678 0 0 -1

N.S.

1 1.00 1.65 0.00 0.00 40.58 0.00 0.00 -0.02

time (sec)

N/A 0.093 0.335 1.747 0.000 0.487 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 169 0 0 4569 0 0 -1

N.S.

1 1.00 1.88 0.00 0.00 50.77 0.00 0.00 -0.01

time (sec)

N/A 0.155 0.360 1.706 0.000 0.581 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 105 0 0 1650 0 0 -1

N.S.

1 1.00 2.50 0.00 0.00 39.29 0.00 0.00 -0.02

time (sec)

N/A 0.061 0.136 1.441 0.000 0.466 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 107 0 0 2856 0 0 -1

N.S.

1 1.00 1.78 0.00 0.00 47.60 0.00 0.00 -0.02

time (sec)

N/A 0.130 0.122 1.429 0.000 0.489 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 70 30 0 1430 0 0 19

N.S.

1 1.00 2.80 1.20 0.00 57.20 0.00 0.00 0.76

time (sec)

N/A 0.037 0.050 0.684 0.000 0.435 0.000 0.000 1.667

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 62 0 0 1059 0 0 -1

N.S.

1 1.00 2.14 0.00 0.00 36.52 0.00 0.00 -0.03

time (sec)

N/A 0.022 0.029 1.690 0.000 0.399 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 124 0 0 3663 0 0 -1

N.S.

1 1.00 2.21 0.00 0.00 65.41 0.00 0.00 -0.02

time (sec)

N/A 0.073 0.165 1.683 0.000 0.476 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]